Mødredødsfall i Norge 2005 – 09

TR - 2005 - 09 Computing robust basestock levels

In this paper we develop procedures for setting the basestock levels for a buffer in a supply chain subject to uncertainty in the demands. Our work is motivated by experience with an industrial partner in the electronics industry who was subject to the following difficulties: short product cycles, a complex supply chain with multiple suppliers and long production leadtimes, and a very competiti...

Doktorandské dny ’09 Ústav informatiky AV ČR, v. v. i.

Processes and process modelling have proven themselves as a useful technique for capturing the work practice in business. We focus on their usage in the domain of healthcare and define two main types of processes in medicine – medical guidelines and organizational processes. Based on these types we present the architecture of a multi-agent system that is able to work with them and describe appl...

Fe b 20 09 Space of Ricci flows ( I )

In this paper, we study the moduli spaces of noncollapsed Ricci flow solutions with bounded energy and scalar curvature. We show a weak compactness theorem for such moduli spaces and apply it to study isoperimetric constant control, Kähler Ricci flow and moduli space of gradient shrinking solitons.

P { re , i } coSAT @ SC ’ 09 Armin Biere

In this note we describe the new features of PicoSAT version 913 as it was submitted to the SAT competition 2009. It also contains a description of our new solver PrecoSAT version 236, which tightly integrates various preprocessing techniques into a PicoSAT like core engine.

Cumyluron 09/08/09